Proof Theory in Computer Science: International Seminar, PTCS 2001 Dagstuhl Castle, Germany, October 7-12, 2001. Proceedings (Lecture Notes in Computer Science)
by Reinhard Kahle,Peter Schroeder-Heister,Robert St??rk
ISBN 13: 9783540427520
Format: Paperback (256 pages) Publisher: Springer Published: 28 Sep 2001
Save for later